package output;
import UI.IPrint;


public class PrintManager {

	
	/*@
	 @	requires toPrint != null; 
	 @	
	 @*/
	public void schedulePrint(IPrint toPrint) {
		
	}
}
